lattice and boolean algebra in discrete mathematics